
#include <string.h>
#include  "windows.h"
#include "cmsis_os2.h"                  // ::CMSIS:RTOS2

static osKernelState_t KernelState;


void osThreadExit(void) {

}

osThreadId_t osThreadGetId(void) {
	return 0;
}


osStatus_t osThreadSetPriority(osThreadId_t thread_id, osPriority_t priority) {
	SetThreadPriority(NULL, priority);
	return osOK;
}